Coalgebras for Fuzzy Transition Systems
نویسندگان
چکیده
منابع مشابه
Tile Transition Systems as Structured Coalgebras
Semantics of CCS. Ordinary bisimilarity between CCS agents, written P ord Q, is just the relation P TSCCS Q according to the general De nition 9. We now present the tile rewrite system for CCS. Signatures of the CCS tile rewrite system. There is only one sort 1. The free monoid generated by it is represented by underlined natural numbers with n m = m+ n and e = 0. For the horizontal signature t...
متن کاملAn Axiomatics for Categories of Transition Systems as Coalgebras
We consider a nitely branching transition system as a coalgebra for an endofunctor on the category Set of small sets. A map in that category is a functional bisimulation. So, we study the structure of the category of nitely branching transition systems and functional bisimulations by proving general results about the category H-Coalg of H-coalgebras for an endofunctor H on Set. We give conditio...
متن کاملFrom T-Coalgebras to Filter Structures and Transition Systems
For any set-endofunctor T : Set→ Set there exists a largest subcartesian transformation μ to the filter functor F : Set → Set. Thus we can associate with every T -coalgebra A a certain filter-coalgebra AF. Precisely, when T weakly preserves preimages, μ is natural, and when T weakly preserves intersections, μ factors through the covariant powerset functor P, thus providing for every T -coalgebr...
متن کاملDeduction Systems for Coalgebras Over Measurable Spaces
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors have been shown by Moss and Viglizzo to have final coalgebras that represent certain universal type spaces in game-theoretic economics. A notable feature of the deductive machinery is an infinitary Countable Additivity Ru...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2014
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2014.01.008